TSTP Solution File: QUA006^1 by SInE---0.4